#include <stdint.h>
#include "rvv-v0p10-compatible-headers/overloaded-non-policy.h"
#include "rvv-v0p10-compatible-headers/overloaded-policy.h"
#include <riscv_vector.h>

typedef _Float16 float16_t;
typedef float float32_t;
typedef double float64_t;
void test_vse64_v_f64m1(float64_t *base, vfloat64m1_t value, size_t vl) {
  return vse64(base, value, vl);
}

void test_vse64_v_f64m2(float64_t *base, vfloat64m2_t value, size_t vl) {
  return vse64(base, value, vl);
}

void test_vse64_v_f64m4(float64_t *base, vfloat64m4_t value, size_t vl) {
  return vse64(base, value, vl);
}

void test_vse64_v_f64m8(float64_t *base, vfloat64m8_t value, size_t vl) {
  return vse64(base, value, vl);
}

void test_vse64_v_i64m1(int64_t *base, vint64m1_t value, size_t vl) {
  return vse64(base, value, vl);
}

void test_vse64_v_i64m2(int64_t *base, vint64m2_t value, size_t vl) {
  return vse64(base, value, vl);
}

void test_vse64_v_i64m4(int64_t *base, vint64m4_t value, size_t vl) {
  return vse64(base, value, vl);
}

void test_vse64_v_i64m8(int64_t *base, vint64m8_t value, size_t vl) {
  return vse64(base, value, vl);
}

void test_vse64_v_u64m1(uint64_t *base, vuint64m1_t value, size_t vl) {
  return vse64(base, value, vl);
}

void test_vse64_v_u64m2(uint64_t *base, vuint64m2_t value, size_t vl) {
  return vse64(base, value, vl);
}

void test_vse64_v_u64m4(uint64_t *base, vuint64m4_t value, size_t vl) {
  return vse64(base, value, vl);
}

void test_vse64_v_u64m8(uint64_t *base, vuint64m8_t value, size_t vl) {
  return vse64(base, value, vl);
}

void test_vse64_v_f64m1_m(vbool64_t mask, float64_t *base, vfloat64m1_t value, size_t vl) {
  return vse64(mask, base, value, vl);
}

void test_vse64_v_f64m2_m(vbool32_t mask, float64_t *base, vfloat64m2_t value, size_t vl) {
  return vse64(mask, base, value, vl);
}

void test_vse64_v_f64m4_m(vbool16_t mask, float64_t *base, vfloat64m4_t value, size_t vl) {
  return vse64(mask, base, value, vl);
}

void test_vse64_v_f64m8_m(vbool8_t mask, float64_t *base, vfloat64m8_t value, size_t vl) {
  return vse64(mask, base, value, vl);
}

void test_vse64_v_i64m1_m(vbool64_t mask, int64_t *base, vint64m1_t value, size_t vl) {
  return vse64(mask, base, value, vl);
}

void test_vse64_v_i64m2_m(vbool32_t mask, int64_t *base, vint64m2_t value, size_t vl) {
  return vse64(mask, base, value, vl);
}

void test_vse64_v_i64m4_m(vbool16_t mask, int64_t *base, vint64m4_t value, size_t vl) {
  return vse64(mask, base, value, vl);
}

void test_vse64_v_i64m8_m(vbool8_t mask, int64_t *base, vint64m8_t value, size_t vl) {
  return vse64(mask, base, value, vl);
}

void test_vse64_v_u64m1_m(vbool64_t mask, uint64_t *base, vuint64m1_t value, size_t vl) {
  return vse64(mask, base, value, vl);
}

void test_vse64_v_u64m2_m(vbool32_t mask, uint64_t *base, vuint64m2_t value, size_t vl) {
  return vse64(mask, base, value, vl);
}

void test_vse64_v_u64m4_m(vbool16_t mask, uint64_t *base, vuint64m4_t value, size_t vl) {
  return vse64(mask, base, value, vl);
}

void test_vse64_v_u64m8_m(vbool8_t mask, uint64_t *base, vuint64m8_t value, size_t vl) {
  return vse64(mask, base, value, vl);
}

